get(set(a)(s)) == s